Necessary Truth and Proof

What makes necessary truths true? I argue that all truth supervenes on how things are, and that necessary truths are no exception. What makes them true are proofs. But if so, the notion of proof needs to be generalized to include verification-transcendent proofs, proofs whose correctness exceeds our ability to verify it. It is incumbent on me, therefore, to show that arguments, such as Dummett’s, that verification-truth is not compatible with the theory of meaning, are mistaken. The answer is that what we can conceive and construct far outstrips our actual abilities. I conclude by proposing a proof-theoretic account of modality, rejecting a claim of Armstrong’s that modality can reside in non-modal truthmakers. keywords Truthmakers, Modality, Truth, Proof reSUMo O que faz verdadeiras as verdades necessárias? Defendo que qualquer verdade sobrevém das coisas como elas são, e que as verdades necessárias não são exceções. O que as faz verdadeiras são provas. Mas, se assim for, a noção de prova precisa ser generalizada para incluir provas de verificação-transcendente, provas cuja correção extrapola a nossa própria habilidade de verificação. Além disso, tenho a incumbência de mostrar que argumentos, como o de Dummett, segundo o qual a verdade em termos de verificação não é compatível com a teoria do significado, não procedem. A resposta consiste no fato de que aquilo que podemos conceber e construir ultrapassa nossas habilidades efetivas. Concluo propondo um tratamento * Presented at the conference ‘(Anti-)Realisms, Logic and Metaphysics’: Nancy, 28 June-1 July 2006 ** Professor of History and Philosophy of Logic, University of St. Andrews. Recebido em 01/10/2009 e aprovado em 01/12/2009. kriterioN, Belo Horizonte, no 121, Jun./2010, p. 47-67.